منابع مشابه
CIRCULAR POLYA DISTRIBUTIONS OF ORDER k
Two circular Polya distributions of order k are derived bymeans of generalized urn models and by compounding, respectively, the type I and type II circular binomial distributions of order k of Makri and Philippou (1994) with the beta distribution. It is noted that the above two distributions include, as special cases, new circular hypergeometric, negative hypergeometric, and discrete uniform di...
متن کاملType Inference for PolyA
We present an automatic type inference algorithm for PolyA, a type system for Mobile Ambients presented in earlier work by us together with Torben Amtoft. We present not only a basic inference algorithm, but also several optimizations to it aimed at reducing the size of the inferred types. The final algorithm has been implemented and verified to work on small examples. We discuss some small pro...
متن کاملMore Aspects of Polya Tree Distributions for Statistical Modelling
The deenition and elementary properties of Polya tree distributions are reviewed. Two theorems are presented showing that Polya trees can be constructed to concentrate arbitrarily closely about any desired pdf, and that Polya tree priors can put positive mass in every relative entropy neighborhood of every positive density with nite entropy, thereby satisfying a consistency condition. Such theo...
متن کاملPolya tree distributions for statistical modeling of censored data
Polya tree distributions extend the idea of the Dirichlet process as a prior for Bayesian nonparametric problems. Finite dimensional distributions are defined through conditional probabilities in P . This allows for a specification of prior information which carries greater weight where it is deemed appropriate according to the choice of a partition of the sample space. Muliere and Walker[7] co...
متن کاملPolyA: True Type Polymorphism for Mobile Ambients
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer little support for generic mobile agents. Previous systems either do not handle communication at all or globally assign fixed communication types to ambient names that do not change as an ambient moves around or interact...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Annals of Mathematical Statistics
سال: 1957
ISSN: 0003-4851
DOI: 10.1214/aoms/1177706960